COM: core 1 summary

COM: core 1 intro

COM: graphic chars A0-AF

COM: EndExtendedTermDForms

COM: prec com

COM: PRIM DISPS

ABS: Ax

ABS: s = t

ABS: s ~ t

ABS: Type

ABS: !Void()

ABS: any

ABS: Atom

ABS: "$token"

ABS: 

ABS: Object

ABS: #$n

ABS: -n

ABS: n + m

ABS: n - m

ABS: n * m

ABS: n  m

ABS: n rem m

ABS: ind def

ABS: type List

ABS: []

ABS: [car / cdr]

ABS: rec-case(a) of [] => s | x::y => z.t(x;y;z)

ABS: left + right

ABS: inl x 

ABS: inr x 

ABS: case b of inl(x) => s(x) | inr(y) => t(y)

ABS: x:A  B(x)

ABS: <a, b>

ABS: let x,y = A in B(x;y)

ABS: x:AB(x)

ABS: {x | y:A  B(x;y)}

ABS: x:A.B(x)

ABS: x.A(x)

ABS: f(a)

ABS: x,y:A//B(x;y)

ABS: {x:A| B(x)} 

ABS: a < b

ABS: if a=b then c else d

ABS: if a=b  then c  else d

ABS: if a<b then c else d

ABS: rec_ind(A;x,y.B(x;y))

ABS: rec(x.A(x))

COM: LOGIC ABS1

ABS: t  T

ABS: Unit

ABS: True

ABS: False

ABS: P  Q

ABS: P  Q

ABS: P  Q

ABS: P  Q

ABS: T

ABS: A

ABS: a  b  T 

ABS: P  Q

ABS: x:A. B(x)

ABS: x:A. B(x)

ABS: x:A. B(x)

COM: INT ABS1

ABS: A  B

ABS: i  j 

ABS: i > j

COM: subtype com

ABS: S  T

COM: core 1 end